21. Fundamentals of computation theory, proceedings of the 1981 International FCT-Conferece, Szeged, August 2428, 1981
پدیدآورنده: / Edited by Ference Gecseg
کتابخانه: کتابخانه مرکزی و مرکز اسناد و انتشارات دانشگاه تبریز (آذربایجان شرقی)
موضوع: Machine thoery - Congresses,Computational complexity - Congresses
رده :
QA267
.
I57
1981
22. Fundamentals of computation theory : proceedings of the 1977 International FCT-Conference, Poznan-Kornik, Poland, September 19-23, 1977
پدیدآورنده: edited by Marek Karpinski
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: Congresses ، Recursion theory,Congresses ، Computational complexity,Congresses ، Machine theory,Congresses ، Categories )Mathematics(
رده :
QA
76
.
L4
v
.
56
23. Fundamentals of computation theory : proceedings of the 1977 International FCT-Conference, Poznan-Kornik, Poland, September 19-23, 1977
پدیدآورنده: edited by Marek Karpinski
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Recursion theory,Congresses ، Computational complexity,Congresses ، Machine theory,Congresses ، Categories )Mathematics(
رده :
QA
76
.
L28
Vol
.
56
24. Fundamentals of computation theory: proceedings of the 1977 International FCT- Conference, Poznan-Kornik, Poland, September 19-23, 1977
پدیدآورنده: edited by Marek Karpinski
کتابخانه: کتابخانه دانشگاه تحصیلات تکمیلی صنعتی و فناوری پیشرفته کرمان (کرمان)
موضوع: Congresses ، Recursion theory,Congresses ، Computational complexity,Congresses ، Machine theory,Congresses ، Categories )Mathematics(
رده :
QA
9
.
6
.
I57
1977
25. Fundamentals of computation theory : proceedings of the 1981 International FCT-Conference, Szeged, August 24-28, 1981
پدیدآورنده: edited by Ferenc Gecseg
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: Congresses ، Machine theory,Congresses ، Computational complexity
رده :
QA
76
.
L4
v
.
117
26. Fundamentals of computation theory: proceedings of the 1981 International FCT-Conference, Szeged, Hungary, Augest, 24-28, 1981
پدیدآورنده: edited by Ferenc Gecseg
کتابخانه: کتابخانه دانشگاه تحصیلات تکمیلی صنعتی و فناوری پیشرفته کرمان (کرمان)
موضوع: Congresses ، Machine theory,Congresses ، Computational complexity
رده :
QA
267
.
I57
1981
27. Fundamentals of computation theory : proceedings of the 1981 International FCT-Conference, Szeged, Hungary August 24-28, 1981
پدیدآورنده: edited by Ferenc Gecseg
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Machine theory,Congresses ، Computational complexity
رده :
QA
76
.
L28
Vol
.
117
28. Language and automata theory and applications :
پدیدآورنده: edited by Shmuel Tomi Klein, Carlos Martín-Vide, Dana Shapira.
کتابخانه: کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Formal languages, Congresses.,Machine theory, Congresses.,Mathematical linguistics, Congresses.,Algorithms & data structures.,Artificial intelligence.,Computer programming-- software development.,Computers-- Intelligence (AI) & Semantics.,Computers-- Mathematical & Statistical Software.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Formal languages.,Machine theory.,Mathematical linguistics.,Mathematical theory of computation.,Mathematics-- Logic.,Maths for computer scientists.
رده :
QA267
.
L38
2018
29. Logic and machines : decision problems and complexity : Proceedings of the Symposium "Rekursive Kombinatorik" held from May 23-28, 1983 at the Institut fur Mathematische Logik und Frundlagenforschung der Universitat Munster/Westfalen
پدیدآورنده: Symposium "Rekursive Kombinatorik")3891:Institut fur Mathematische Logik und Grundlagenforschung der Universitat Munster/Westfalen(
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Machine theory--Congresses,، Computational complexity--Congresses,، Decision-making--Congresses
رده :
QA
267
.
S98
1983
30. Mathematical foundations of computer science 1986 : Proceedings of the 12th Symposium, Bratislava, Czchoslovakia, August 25-29, 1986
پدیدآورنده: edited by J. Gruska, B. Rovan and J. Wiedermann
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Machine theory,Congresses ، Formal languages,Congresses ، Computational complexity
رده :
QA
76
.
L28
Vol
.
233
31. Mathematical foundations of computer science 1981 : proceedings, 10th Symposium, Strbske Pleso, Czechoslovakia, August 31-September 4, 1981
پدیدآورنده: edited by J. Gruska and M. Chytil
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Machine theory,Congresses ، Formal languages,Congresses ، Computational complexity
رده :
QA
76
.
L28
Vol
.
118
32. Mathematical foundations of computer science 1981: proceedings, 10 th symposium Strbke Pleso, Czechosllovakia, August 31-September 4, 1981
پدیدآورنده :
موضوع : ، Machine theory-- Congresses,، Formal languages-- Congresses,، Computational complexity-- Congresses
۲ نسخه از این کتاب در ۱ کتابخانه موجود است.
33. Neuroscience :
پدیدآورنده: edited by Pablo Rudomin [and others].
کتابخانه: کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Artificial intelligence -- Congresses.,Neural networks (Computer science) -- Congresses.,Neurosciences -- Congresses.
رده :
QP351
.
E358
1993
34. Proceedings of the ... Annual ACM Symposium on Theory of Computing
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: Congresses ، Machine theory,Congresses ، Computable functions,Congresses ، Computational complexity
رده :
QA
267
.
A27a
2002
35. Proceedings of the thirty-third annual ACM Symposium on the Theory of Computing: Hersonissos, Crete, Greece, July 6-8, 2001
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: Congresses ، Machine theory,Congresses ، Computational complexity
رده :
QA
267
.
A27
2001
36. Theory and applications of satisfiability testing -- SAT 2019 :
پدیدآورنده: Mikoláš Janota, Inês Lynce (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer algorithms, Congresses.,Computer software-- Verification, Congresses.,Computer algorithms.,Computer software-- Verification.
رده :
QA76
.
9
.
A43
39. Topics in the theory of computation
پدیدآورنده: / edited by Marek Karpinski and Jan van Leeuwen
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Computational complexity--Congresses,Machine theory--Congresses,Electronic data processing--Mathematics--Congresses
رده :
QA
,
267
,.
I56
,
1983
40. Topics in the theory of computation
پدیدآورنده: International Conference on "Foundations of Computation Theory" (1983 : Borgholm, Sweden)
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی اصفهان (اصفهان)
موضوع: Computational complexity- Congresses►Machine theory- Congresses►Computer science- Mathematics- Congresses
رده :
QA
267
.
I56
1985
